#ifndef __KERENL_SHELL_H
#define __KERNEL_SHELL_H
#include "stdint.h"
#include "string.h"
#include "print.h"
#include "io.h"
#include "thread.h"
#include "interrupt.h"
#include "vmm.h"
#include "keyboard.h"
#include "ioqueue.h"
#include "virtual_ide.h"
#include "keyboard.h"

void my_shell(void* arg);
void dispaly_guest_video(int state);
void shell_init(void);
extern struct task_struct* shell_block_task;
extern struct task_struct* cur_thread;
#endif